Program Synthesis

A Deductive Approach to Program Synthesis

Information Systems / Theorem Proving / Computer Software / Program Transformation / Program Synthesis